/LMAR=0/XLINE=3/FONT#0=BASL30/FONT#1=BASI30/FONT#2=BASB30/FONT#10=BAXM30/FONT#11=ZERO30/FONT#3=STA200/FONT#4=NGB25
␈↓ ↓H␈↓␈↓βS␈↓∧ Artificial Intelligence Laboratory, STANFORD UNIVERSITY, Stanford, California 94305

␈↓ ↓H␈↓∧Telephone 415 497-4430␈↓ 	nFebruary 7, 1978 




␈↓ ↓H␈↓Robert Cartwright
␈↓ ↓H␈↓Department of Computer Science
␈↓ ↓H␈↓Cornell University
␈↓ ↓H␈↓Upson Hall
␈↓ ↓H␈↓Ithaca, N.Y. 14853

␈↓ ↓H␈↓Dear Corky:

␈↓ ↓H␈↓        Look␈α⊂at␈α⊃the␈α⊂paper␈α⊂by␈α⊃Mitchell␈α⊂Wand␈α⊃in␈α⊂the␈α⊂Jan.␈α⊃78␈α⊂CACM␈α⊂for␈α⊃another␈α⊂claim␈α⊃of␈α⊂the
␈↓ ↓H␈↓inadequacy of ≡rst order logic.


␈↓ ↓H␈↓Sincerely,



␈↓ ↓H␈↓John McCarthy
␈↓ ↓H␈↓Director
␈↓ ↓H␈↓Professor of Computer Science